home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part2 / 10080 < prev    next >
Encoding:
Text File  |  1996-08-05  |  34.0 KB  |  864 lines

  1. Path: sun.soe.clarkson.edu!cline
  2. From: cline@sun.soe.clarkson.edu (Marshall Cline)
  3. Newsgroups: comp.lang.c++
  4. Subject: C++ FAQ: posting #4/4
  5. Followup-To: comp.lang.c++
  6. Date: 6 Mar 1996 02:21:47 GMT
  7. Organization: Paradigm Shift, Inc (technology consulting)
  8. Sender: cline@sun.soe.clarkson.edu
  9. Distribution: world
  10. Expires: +1 month
  11. Message-ID: <4hisrr$hfm@library.erc.clarkson.edu>
  12. Reply-To: cline@parashift.com (Marshall Cline)
  13. NNTP-Posting-Host: sun.soe.clarkson.edu
  14. Summary: Please read this before posting to comp.lang.c++
  15. Archive-name: C++-faq/part4_4
  16.  
  17. comp.lang.c++ Frequently Asked Questions list (with answers, fortunately).
  18. Copyright (C) 1991-96 Marshall P. Cline, Ph.D.
  19. Posting 4 of 4.
  20. Posting #1 explains copying permissions, (no)warranty, table-of-contents, etc
  21.  
  22. ==============================================================================
  23. SECTION 17: Linkage-to/relationship-with C
  24. ==============================================================================
  25.  
  26. Q111: How can I call a C function "f(int,char,float)" from C++ code?
  27.  
  28. Tell the C++ compiler that it is a C function:
  29.     extern "C" void f(int,char,float);
  30.  
  31. Be sure to include the full function prototype.  A block of many C functions
  32. can be grouped via braces, as in:
  33.  
  34.     extern "C" {
  35.       void* malloc(size_t);
  36.       char* strcpy(char* dest, const char* src);
  37.       int   printf(const char* fmt, ...);
  38.     }
  39.  
  40. ==============================================================================
  41.  
  42. Q112: How can I create a C++ function "f(int,char,float)" that is callable by
  43.    my C code?
  44.  
  45. The C++ compiler must know that "f(int,char,float)" is to be called by a C
  46. compiler using the same "extern C" construct detailed in the previous FAQ.
  47. Then you define the function in your C++ module:
  48.  
  49.     extern "C" void f(int,char,float);
  50.  
  51.     //...
  52.  
  53.     void f(int x, char y, float z)
  54.     {
  55.       //...
  56.     }
  57.  
  58. The "extern C" line tells the compiler that the external information sent to
  59. the linker should use C calling conventions and name mangling (e.g., preceded
  60. by a single underscore).  Since name overloading isn't supported by C, you
  61. can't make several overloaded fns simultaneously callable by a C program.
  62.  
  63. Caveats and implementation dependencies:
  64.  * your "main()" should be compiled with your C++ compiler (for static init).
  65.  * your C++ compiler should direct the linking process (for special libraries).
  66.  * your C and C++ compilers may need to come from same vendor and have
  67.    compatible versions (i.e., needs same calling convention, etc.).
  68.  
  69. ==============================================================================
  70.  
  71. Q113: Why's the linker giving errors for C/C++ fns being called from C++/C
  72.    fns?
  73.  
  74. See the previous two FAQs on how to use "extern "C"."
  75.  
  76. ==============================================================================
  77.  
  78. Q114: How can I pass an object of a C++ class to/from a C function?
  79.  
  80. Here's an example:
  81.  
  82.     /****** C/C++ header file: Fred.h ******/
  83.     #ifdef __cplusplus    /*"__cplusplus" is #defined if/only-if compiler is C++*/
  84.       extern "C" {
  85.     #endif
  86.  
  87.     #ifdef __STDC__
  88.       extern void c_fn(struct Fred*);    /* ANSI-C prototypes */
  89.       extern struct Fred* cplusplus_callback_fn(struct Fred*);
  90.     #else
  91.       extern void c_fn();            /* K&R style */
  92.       extern struct Fred* cplusplus_callback_fn();
  93.     #endif
  94.  
  95.     #ifdef __cplusplus
  96.       }
  97.     #endif
  98.  
  99.     #ifdef __cplusplus
  100.       class Fred {
  101.       public:
  102.         Fred();
  103.         void wilma(int);
  104.       private:
  105.         int a_;
  106.       };
  107.     #endif
  108.  
  109. "Fred.C" would be a C++ module:
  110.  
  111.     #include "Fred.h"
  112.     Fred::Fred() : a_(0) { }
  113.     void Fred::wilma(int a) { }
  114.  
  115.     Fred* cplusplus_callback_fn(Fred* fred)
  116.     {
  117.       fred->wilma(123);
  118.       return fred;
  119.     }
  120.  
  121. "main.C" would be a C++ module:
  122.  
  123.     #include "Fred.h"
  124.  
  125.     int main()
  126.     {
  127.       Fred fred;
  128.       c_fn(&fred);
  129.       return 0;
  130.     }
  131.  
  132. "c-fn.c" would be a C module:
  133.  
  134.     #include "Fred.h"
  135.     void c_fn(struct Fred* fred)
  136.     {
  137.       cplusplus_callback_fn(fred);
  138.     }
  139.  
  140. Passing ptrs to C++ objects to/from C fns will FAIL if you pass and get back
  141. something that isn't EXACTLY the same pointer.  For example, DON'T pass a base
  142. class ptr and receive back a derived class ptr, since your C compiler won't
  143. understand the pointer conversions necessary to handle multiple and/or virtual
  144. inheritance.
  145.  
  146. ==============================================================================
  147.  
  148. Q115: Can my C function access data in an object of a C++ class?
  149.  
  150. Sometimes.
  151.  
  152. (First read the previous FAQ on passing C++ objects to/from C functions.)
  153.  
  154. You can safely access a C++ object's data from a C function if the C++ class:
  155.  * has no virtual functions (including inherited virtual fns)
  156.  * has all its data in the same access-level section (private/protected/public)
  157.  * has no fully-contained subobjects with virtual fns
  158.  
  159. If the C++ class has any base classes at all (or if any fully contained
  160. subobjects have base classes), accessing the data will TECHNICALLY be
  161. non-portable, since class layout under inheritance isn't imposed by the
  162. language.  However in practice, all C++ compilers do it the same way: the base
  163. class object appears first (in left-to-right order in the event of multiple
  164. inheritance), and subobjects follow.
  165.  
  166. Furthermore, if the class (or any base class) contains any virtual functions,
  167. you can often (but less than always) assume a "void*" appears in the object
  168. either at the location of the first virtual function or as the first word in
  169. the object.  Again, this is not required by the language, but it is the way
  170. "everyone" does it.
  171.  
  172. If the class has any virtual base classes, it is even more complicated and less
  173. portable.  One common implementation technique is for objects to contain an
  174. object of the virtual base class (V) last (regardless of where "V" shows up as
  175. a virtual base class in the inheritance hierarchy).  The rest of the object's
  176. parts appear in the normal order.  Every derived class that has V as a virtual
  177. base class actually has a POINTER to the V part of the final object.
  178.  
  179. ==============================================================================
  180.  
  181. Q116: Why do I feel like I'm "further from the machine" in C++ as opposed to
  182.    C?
  183.  
  184. Because you are.
  185.  
  186. As an OOPL, C++ allows you to model the problem domain itself, which allows you
  187. to program in the language of the problem domain rather than in the language of
  188. the solution domain.
  189.  
  190. One of C's great strengths is the fact that it has "no hidden mechanism": what
  191. you see is what you get.  You can read a C program and "see" every clock cycle.
  192. This is not the case in C++; old line C programmers (such as many of us once
  193. were) are often ambivalent (can anyone say, "hostile") about this feature, but
  194. they soon realize that it provides a level of abstraction and economy of
  195. expression which lowers maintenance costs without destroying run-time
  196. performance.
  197.  
  198. Naturally you can write bad code in any language; C++ doesn't guarantee any
  199. particular level of quality, reusability, abstraction, or any other measure of
  200. "goodness."  C++ doesn't try to make it impossible for bad programmers to write
  201. bad programs; it enables reasonable developers to create superior software.
  202.  
  203. ==============================================================================
  204. SECTION 18: Pointers to member functions
  205. ==============================================================================
  206.  
  207. Q117: Is the type of "ptr-to-member-fn" different from "ptr-to-fn"?
  208.  
  209. Yep.
  210.  
  211. Consider the following function:
  212.  
  213.     int f(char a, float b);
  214.  
  215. If this is an ordinary function, its type is:    int (*)      (char,float);
  216. If this is a method of class Fred, its type is:  int (Fred::*)(char,float);
  217.  
  218. ==============================================================================
  219.  
  220. Q118: How do I pass a ptr to member fn to a signal handler, X event callback,
  221.    etc?
  222.  
  223. Don't.
  224.  
  225. Because a member function is meaningless without an object to invoke it on, you
  226. can't do this directly (if The X Windows System was rewritten in C++, it would
  227. probably pass references to OBJECTS around, not just pointers to fns; naturally
  228. the objects would embody the required function and probably a whole lot more).
  229.  
  230. As a patch for existing software, use a top-level (non-member) function as a
  231. wrapper which takes an object obtained through some other technique (held in a
  232. global, perhaps).  The top-level function would apply the desired member
  233. function against the global object.
  234.  
  235. E.g., suppose you want to call Fred::memfn() on interrupt:
  236.  
  237.     class Fred {
  238.     public:
  239.       void memfn();
  240.       static void staticmemfn();    //a static member fn can handle it
  241.       //...
  242.     };
  243.  
  244.     //wrapper fn remembers the object on which to invoke memfn in a global:
  245.     Fred* object_which_will_handle_signal;
  246.     void Fred_memfn_wrapper() { object_which_will_handle_signal->memfn(); }
  247.  
  248.     main()
  249.     {
  250.       /* signal(SIGINT, Fred::memfn); */   //Can NOT do this
  251.       signal(SIGINT, Fred_memfn_wrapper);  //Ok
  252.       signal(SIGINT, Fred::staticmemfn);   //Also Ok
  253.     }
  254.  
  255. Note: static member functions do not require an actual object to be invoked, so
  256. ptrs-to-static-member-fns are type compatible with regular ptrs-to-fns (see ARM
  257. ["Annotated Reference Manual"] p.25, 158).
  258.  
  259. ==============================================================================
  260.  
  261. Q119: Why do I keep getting compile errors (type mismatch) when I try to use a
  262.    member function as an interrupt service routine? 
  263.  
  264. This is a special case of the previous two questions, therefore read the
  265. previous two answers first.
  266.  
  267. Non-static member functions have a hidden parameter that corresponds to the
  268. 'this' pointer.  The 'this' pointer points to the instance data for the
  269. object.  The interrupt hardware/firmware in the system is not capable of
  270. providing the 'this' pointer argument.  You must use "normal" functions (non
  271. class members) or static member functions as interrupt service routines.
  272.  
  273. One possible solution is to use a static member as the interrupt service
  274. routine and have that function look somewhere to find the instance/member pair
  275. that should be called on interrupt.  Thus the effect is that a normal method
  276. is invoked on an interrupt, but for technical reasons you need to call an
  277. intermediate function first.
  278.  
  279. ==============================================================================
  280.  
  281. Q120: Why am I having trouble taking the address of a C++ function?
  282.  
  283. This is a corollary to the previous FAQ.
  284.  
  285. Long answer: In C++, member fns have an implicit parameter which points to the
  286. object (the "this" ptr inside the member fn).  Normal C fns can be thought of
  287. as having a different calling convention from member fns, so the types of their
  288. ptrs (ptr-to-member-fn vs ptr-to-fn) are different and incompatible.  C++
  289. introduces a new type of ptr, called a ptr-to-member, which can be invoked only
  290. by providing an object (see ARM ["Annotated Reference Manual"] 5.5).
  291.  
  292. NOTE: do NOT attempt to "cast" a ptr-to-mem-fn into a ptr-to-fn; the result is
  293. undefined and probably disastrous.  E.g., a ptr-to- member-fn is NOT required
  294. to contain the machine addr of the appropriate fn (see ARM, 8.1.2c, p.158).  As
  295. was said in the last example, if you have a ptr to a regular C fn, use either a
  296. top-level (non-member) fn, or a "static" (class) member fn.
  297.  
  298. ==============================================================================
  299.  
  300. Q121: How do I declare an array of pointers to member functions?
  301.  
  302. Keep your sanity with "typedef".
  303.  
  304.     class Fred {
  305.     public:
  306.       int f(char x, float y);
  307.       int g(char x, float y);
  308.       int h(char x, float y);
  309.       int i(char x, float y);
  310.       //...
  311.     };
  312.  
  313.     typedef  int (Fred::*FredPtr)(char x, float y);
  314.  
  315. Here's the array of pointers to member functions:
  316.  
  317.     FredPtr a[4] = { &Fred::f, &Fred::g, &Fred::h, &Fred::i };
  318.  
  319. To call one of the member functions on object "fred":
  320.  
  321.     void userCode(Fred& fred, int methodNum, char x, float y)
  322.     {
  323.       //assume "methodNum" is between 0 and 3 inclusive
  324.       (fred.*a[methodNum])(x, y);
  325.     }
  326.  
  327. You can make the call somewhat clearer using a #define:
  328.  
  329.     #define  callMethod(object,ptrToMethod)   ((object).*(ptrToMethod))
  330.     callMethod(fred, a[methodNum]) (x, y);
  331.  
  332. ==============================================================================
  333. SECTION 19: Container classes and templates
  334. ==============================================================================
  335.  
  336. Q122: How can I build a <favorite container> of objects of different types?
  337.  
  338. You can't, but you can fake it pretty well.  In C/C++ all arrays are
  339. homogeneous (i.e., the elements are all the same type).  However, with an extra
  340. layer of indirection you can give the appearance of a heterogeneous container
  341. (a heterogeneous container is a container where the contained objects are of
  342. different types).
  343.  
  344. There are two cases with heterogeneous containers.
  345.  
  346. The first case occurs when all objects you want to store in a container are
  347. publically derived from a common base class.  You can then declare/define your
  348. container to hold pointers to the base class.  You indirectly store a derived
  349. class object in a container by storing the object's address as an element in
  350. the container.  You can then access objects in the container indirectly through
  351. the pointers (enjoying polymorphic behavior).  If you need to know the exact
  352. type of the object in the container you can use 'dynamic_cast<>' or 'typeid()'.
  353. You'll probably need the virtual constructor (a.k.a. cloning) idiom to copy a
  354. container of disparate object types.  The downside of this approach is that it
  355. makes memory management a little more problematic (who "owns" the pointed-to
  356. objects? if you 'delete' these pointed-to objects when you destroy the
  357. container, how can you guarantee that no one else has a copy of one of these
  358. pointers? if you don't 'delete' these pointed-to objects when you destroy the
  359. container, how can you be sure that someone else will eventually do the
  360. 'delete'ing?).  It also makes copying the container more complex (may actually
  361. break the container's copying functions since you don't want to copy the
  362. pointers, at least not when the container "owns" the pointed-to objects).
  363.  
  364. The second case occurs when the object types are disjoint -- they do not share
  365. a common base class.  The approach here is to use a handle class.  The
  366. container is a container of handle objects (by value or by pointer, your
  367. choice; by value is easier).  Each handle object knows how to "hold on to"
  368. (i.e. ,maintain a pointer to) one of the objects you want to put in the
  369. container.  You can use either a single handle class with several different
  370. types of pointers as instance data, or a hierarchy of handle classes that
  371. shadow the various types you wish to contain (requires the container be of
  372. handle base clsss pointers).  The downside of this approach is that it opens up
  373. the handle class(es) to maintenance every time you change the set of types that
  374. can be contained.  The benefit is that you can use the handle class(es) to
  375. encapsulate most of the ugliness of memory management and object lifetime.
  376. Thus using handle objects may be beneficial even in the first case.
  377.  
  378. [Adapted with permission from an email from Phil Staite, pstaite@vnet.ibm.com].
  379.  
  380. ==============================================================================
  381.  
  382. Q123: How can I insert/access/change elements from a linked
  383.    list/hashtable/etc?
  384.  
  385. I'll use an "inserting into a linked list" as a prototypical example.  It's easy
  386. to allow insertion at the head and tail of the list, but limiting ourselves to
  387. these would produce a library that is too weak (a weak library is almost worse
  388. than no library).
  389.  
  390. This answer will be a lot to swallow for novice C++'ers, so I'll give a couple
  391. of options.  The first option is easiest; the second and third are better.
  392.  
  393. [1] Empower the "List" with a "current location," and methods such as
  394. advance(), backup(), atEnd(), atBegin(), getCurrElem(), setCurrElem(Elem),
  395. insertElem(Elem), and removeElem().  Although this works in small examples, the
  396. notion of "a" current position makes it difficult to access elements at two or
  397. more positions within the List (e.g., "for all pairs x,y do the following...").
  398.  
  399. [2] Remove the above methods from the List itself, and move them to a separate
  400. class, "ListPosition."  ListPosition would act as a "current position" within a
  401. List.  This allows multiple positions within the same List.  ListPosition would
  402. be a friend of List, so List can hide its innards from the outside world (else
  403. the innards of List would have to be publicized via public methods in List).
  404. Note: ListPosition can use operator overloading for things like advance() and
  405. backup(), since operator overloading is syntactic sugar for normal methods.
  406.  
  407. [3] Consider the entire iteration as an atomic event, and create a class
  408. template to embodies this event.  This enhances performance by allowing the
  409. public access methods (which may be virtual fns) to be avoided during the inner
  410. loop.  Unfortunately you get extra object code in the application, since
  411. templates gain speed by duplicating code.  For more, see [Koenig, "Templates as
  412. interfaces," JOOP, 4, 5 (Sept 91)], and [Stroustrup, "The C++ Programming
  413. Language Second Edition," under "Comparator"].
  414.  
  415. ==============================================================================
  416.  
  417. Q124: What's the idea behind "templates"?
  418.  
  419. A template is a cookie-cutter that specifies how to cut cookies that all look
  420. pretty much the same (although the cookies can be made of various kinds of
  421. dough, they'll all have the same basic shape).  In the same way, a class
  422. template is a cookie cutter to description of how to build a family of classes
  423. that all look basically the same, and a function template describes how to
  424. build a family of similar looking functions.
  425.  
  426. Class templates are often used to build type safe containers (although this
  427. only scratches the surface for how they can be used).
  428.  
  429. ==============================================================================
  430.  
  431. Q125: What's the syntax / semantics for a "function template"?
  432.  
  433. Consider this function that swaps its two integer arguments:
  434.  
  435.     void swap(int& x, int& y)
  436.     {
  437.       int tmp = x;
  438.       x = y;
  439.       y = tmp;
  440.     }
  441.  
  442. If we also had to swap floats, longs, Strings, Sets, and FileSystems, we'd get
  443. pretty tired of coding lines that look almost identical except for the type.
  444. Mindless repetition is an ideal job for a computer, hence a function template:
  445.  
  446.     template<class T>
  447.     void swap(T& x, T& y)
  448.     {
  449.       T tmp = x;
  450.       x = y;
  451.       y = tmp;
  452.     }
  453.  
  454. Every time we used "swap()" with a given pair of types, the compiler will go to
  455. the above definition and will create yet another "template function" as an
  456. instantiation of the above.  E.g.,
  457.  
  458.     main()
  459.     {
  460.       int    i,j;  /*...*/  swap(i,j);  //instantiates a swap for "int"
  461.       float  a,b;  /*...*/  swap(a,b);  //instantiates a swap for "float"
  462.       char   c,d;  /*...*/  swap(c,d);  //instantiates a swap for "char"
  463.       String s,t;  /*...*/  swap(s,t);  //instantiates a swap for "String"
  464.     }
  465.  
  466. (note: a "template function" is the instantiation of a "function template").
  467.  
  468. ==============================================================================
  469.  
  470. Q126: What's the syntax / semantics for a "class template"?
  471.  
  472. Consider a container class of that acts like an array of integers:
  473.  
  474.     //this would go into a header file such as "Array.h"
  475.     class Array {
  476.     public:
  477.       Array(int len=10)                  : len_(len), data_(new int[len]){}
  478.      ~Array()                            { delete [] data_; }
  479.       int len() const                    { return len_;     }
  480.       const int& operator[](int i) const { data_[check(i)]; }
  481.             int& operator[](int i)       { data_[check(i)]; }
  482.       Array(const Array&);
  483.       Array& operator= (const Array&);
  484.     private:
  485.       int  len_;
  486.       int* data_;
  487.       int  check(int i) const
  488.         { if (i < 0 || i >= len_) throw BoundsViol("Array", i, len_);
  489.           return i; }
  490.     };
  491.  
  492. Just as with "swap()" above, repeating the above over and over for Array of
  493. float, of char, of String, of Array-of-String, etc, will become tedious.
  494.  
  495.     //this would go into a header file such as "Array.h"
  496.     template<class T>
  497.     class Array {
  498.     public:
  499.       Array(int len=10)                : len_(len), data_(new T[len]) { }
  500.      ~Array()                          { delete [] data_; }
  501.       int len() const                  { return len_;     }
  502.       const T& operator[](int i) const { data_[check(i)]; }
  503.             T& operator[](int i)       { data_[check(i)]; }
  504.       Array(const Array<T>&);
  505.       Array& operator= (const Array<T>&);
  506.     private:
  507.       int len_;
  508.       T*  data_;
  509.       int check(int i) const
  510.         { if (i < 0 || i >= len_) throw BoundsViol("Array", i, len_);
  511.           return i; }
  512.     };
  513.  
  514. Unlike template functions, template classes (instantiations of class templates)
  515. need to be explicit about the parameters over which they are instantiating:
  516.  
  517.     main()
  518.     {
  519.       Array<int>           ai;
  520.       Array<float>         af;
  521.       Array<char*>         ac;
  522.       Array<String>        as;
  523.       Array< Array<int> >  aai;
  524.     }              // ^^^-- note the space; do NOT use "Array<Array<int>>"
  525.                    //       (the compiler sees ">>" as a single token).
  526.  
  527. ==============================================================================
  528.  
  529. Q127: What is a "parameterized type"?
  530.  
  531. Another way to say, "class templates."
  532.  
  533. A parameterized type is a type that is parameterized over another type or some
  534. value.  List<int> is a type ("List") parameterized over another type ("int").
  535.  
  536. ==============================================================================
  537.  
  538. Q128: What is "genericity"?
  539.  
  540. Yet another way to say, "class templates."
  541.  
  542. Not to be confused with "generality" (which just means avoiding solutions which
  543. are overly specific), "genericity" means class templates.
  544.  
  545. ==============================================================================
  546. SECTION 20: Libraries
  547. ==============================================================================
  548.  
  549. Q129: Where can I get a copy of "STL"?
  550.  
  551. "STL" is the "Standard Templates Library".  You can get a copy from:
  552.  
  553. An STL site:
  554.     ftp://ftp.cs.rpi.edu/pub/stl
  555.  
  556. STL HP official site:
  557.     ftp://butler.hpl.hp.com/stl
  558.  
  559. STL code alternate:
  560.     ftp://ftp.cs.rpi.edu/stl
  561.  
  562. STL code + examples:
  563.     http://www.cs.rpi.edu/~musser/stl.html
  564.  
  565. STL hacks for GCC-2.6.3 are part of the GNU libg++ package 2.6.2.1 or later
  566. (and they may be in an earlier version as well).  Thanks to Mike Lindner.
  567.  
  568. ==============================================================================
  569.  
  570. Q130: Where can I ftp the code that accompanies "Numerical Recipes"?
  571.  
  572. This software is sold and there for it would be illegal to provide it on the
  573. net.  However, it's only about $30.
  574.  
  575. ==============================================================================
  576.  
  577. Q131: Why is my executable so large?
  578.  
  579. Many people are surprised by how big executables are, especially if the source
  580. code is trivial.  For example, a simple "hello world" program can generate an
  581. executable that is larger than most people expect (40+K bytes).
  582.  
  583. One reason executables can be large is that portions of the C++ runtime
  584. library gets linked with your program. How much gets linked in depends on how
  585. much of it you are using, and on how the implementor split up the library into
  586. pieces.  For example, the iostream library is quite large, and consists of
  587. numerous classes and virtual functions. Using any part of it might pull in
  588. nearly all of the iostream code as a result of the interdependencies.
  589.  
  590. You might be able to make your program smaller by using a dynamically-linked
  591. version of the library instead of the static version.
  592.  
  593. You have to consult your compiler manuals or the vendor's technical support
  594. for a more detailed answer.
  595.  
  596. ==============================================================================
  597. SECTION 21: Nuances of particular implementations
  598. ==============================================================================
  599.  
  600. Q132: GNU C++ (g++) produces big executables for tiny programs; Why?
  601.  
  602. libg++ (the library used by g++) was probably compiled with debug info (-g).
  603. On some machines, recompiling libg++ without debugging can save lots of disk
  604. space (~1 Meg; the down-side: you'll be unable to trace into libg++ calls).
  605. Merely "strip"ping the executable doesn't reclaim as much as recompiling
  606. without -g followed by subsequent "strip"ping the resultant "a.out"s.
  607.  
  608. Use "size a.out" to see how big the program code and data segments really are,
  609. rather than "ls -s a.out" which includes the symbol table.
  610.  
  611. ==============================================================================
  612.  
  613. Q133: Is there a yacc-able C++ grammar?
  614.  
  615. Jim Roskind is the author of a yacc grammar for C++. It's roughly compatible
  616. with the portion of the language implemented by USL cfront 2.0 (no templates,
  617. no exceptions, no run-time-type-identification).  Jim's grammar deviates from
  618. C++ in a couple of minor-but-subtle ways.
  619.  
  620. The grammar can be accessed on-line as follows:
  621.  * ftp://ics.uci.edu/gnu/c++grammar2.0.tar.Z
  622.    (ics.uci.edu is IP 128.195.1.1)
  623.  * ftp://mach1.npac.syr.edu/pub/C++/c++grammar2.0.tar.Z
  624.    (mach1.npac.syr.edu is IP 128.230.7.14)
  625.  
  626. [NOTE: I was told that these ftp addresses are no longer valid.  Would someone
  627. please either confirm or deny this assertion, and would someone please let me
  628. know of an alternate address.  Thanks; Marshall Cline]
  629.  
  630. ==============================================================================
  631.  
  632. Q134: What is C++ 1.2?  2.0?  2.1?  3.0?
  633.  
  634. These are not versions of the language, but rather versions of cfront, which
  635. was the original C++ translator implemented by AT&T.  It has become generally
  636. accepted to use these version numbers as if they were versions of the language
  637. itself.
  638.  
  639. *VERY* roughly speaking, these are the major features:
  640.  * 2.0 includes multiple/virtual inheritance and pure virtual functions.
  641.  * 2.1 includes semi-nested classes and "delete [] ptr_to_array."
  642.  * 3.0 includes fully-nested classes, templates and "i++" vs "++i."
  643.  * 4.0 will include exceptions.
  644.  
  645. ==============================================================================
  646.  
  647. Q135: If name mangling was standardized, could I link code compiled with
  648.    compilers from different compiler vendors?
  649.  
  650. Short answer: Probably not.
  651.  
  652. In other words, some people would like to see name mangling standards
  653. incorporated into the proposed C++ ANSI standards in an attempt to avoiding
  654. having to purchase different versions of class libraries for different
  655. compiler vendors.  However name mangling differences are one of the smallest
  656. differences between implementations, even on the same platform.  Here is a
  657. partial list of other differences:
  658.  
  659. 1) Number and type of hidden arguments to member functions.
  660.    1a) is 'this' handled specially?
  661.    1b) where is the return-by-value pointer passed?
  662. 2) Assuming a vtable is used:
  663.    2a) what is its contents and layout?
  664.    2b) where/how is the adjustment to 'this' made for multiple inheritance?
  665. 3) How are classes laid out, including:
  666.    3a) location of base classes?
  667.    3b) handling of virtual base classes?
  668.    3c) location of vtable pointers, if vtables are used?
  669. 4) Calling convention for functions, including:
  670.    4a) does caller or callee adjust the stack?
  671.    4b) where are the actual parameters placed?
  672.    4c) in what order are the actual parameters passed?
  673.    4d) how are registers saved?
  674.    4e) where does the return value go?
  675.    4f) special rules for passing or returning structs or doubles?
  676.    4g) special rules for saving registers when calling leaf functions?
  677. 5) How is the run-time-type-identification laid out?
  678. 6) How does the runtime exception handling system know which local objects
  679.    need to be destructed during an exception throw?
  680.  
  681. ==============================================================================
  682. SECTION 22: Miscellaneous technical and environmental issues
  683. ==============================================================================
  684. SUBSECTION 22A: Miscellaneous technical issues:
  685. ==============================================================================
  686.  
  687. Q136: Why are classes with static data members getting linker errors?
  688.  
  689. Static data members must be explicitly defined in exactly one module.  E.g.,
  690.  
  691.     class Fred {
  692.     public:
  693.       //...
  694.     private:
  695.       static int i_;  //declares static data member "Fred::i_"
  696.       //...
  697.     };
  698.  
  699. The linker will holler at you ("Fred::i_ is not defined") unless you define (as
  700. opposed to declare) "Fred::i_" in (exactly) one of your source files:
  701.  
  702.     int Fred::i_ = some_expression_evaluating_to_an_int;
  703. or:
  704.     int Fred::i_;
  705.  
  706. The usual place to define static data members of class "Fred" is file "Fred.C"
  707. (or "Fred.cpp", etc; whatever filename extension you use).
  708.  
  709. ==============================================================================
  710.  
  711. Q137: What's the difference between the keywords struct and class?
  712.  
  713. The members and base classes of a struct are public by default, while in class,
  714. they default to private.  Note: you should make your base classes EXPLICITLY
  715. public, private, or protected, rather than relying on the defaults.
  716.  
  717. "struct" and "class" are otherwise functionally equivalent.
  718.  
  719. ==============================================================================
  720.  
  721. Q138: Why can't I overload a function by its return type?
  722.  
  723. If you declare both "char f()" and "float f()", the compiler gives you an error
  724. message, since calling simply "f()" would be ambiguous.
  725.  
  726. ==============================================================================
  727.  
  728. Q139: What is "persistence"?  What is a "persistent object"?
  729.  
  730. A persistent object can live after the program which created it has stopped.
  731. Persistent objects can even outlive different versions of the creating program,
  732. can outlive the disk system, the operating system, or even the hardware on
  733. which the OS was running when they were created.
  734.  
  735. The challenge with persistent objects is to effectively store their method code
  736. out on secondary storage along with their data bits (and the data bits and
  737. method code of all member objects, and of all their member objects and base
  738. classes, etc).  This is non-trivial when you have to do it yourself.  In C++,
  739. you have to do it yourself.  C++/OO databases can help hide the mechanism for
  740. all this.
  741.  
  742. ==============================================================================
  743.  
  744. Q140: Why is floating point so inaccurate?  Why doesn't this print 0.43?
  745.  
  746.     #include<iostream.h> 
  747.  
  748.     main()
  749.     {
  750.       float a = 1000.43;
  751.       float b = 1000.0;
  752.       cout << a - b << '\n';
  753.     } 
  754.  
  755. (note, on one C++ implementation, this prints 0.429993) 
  756.  
  757. Disclaimer: Frustration with rounding/truncation/approximation isn't really a
  758. C++ issue.  It's a computer science issue.  However, people keep asking about
  759. it on comp.lang.c++, so here's a nominal answer.
  760.  
  761. Answer: Floating point is an approximation.  The IEEE standard for 32 bit
  762. float supports 1 bit of sign, 8 bits of exponent, and 23 bits of mantissa.
  763. Since a normalized binary-point mantissa always has the form 1.xxxxx... the
  764. leading 1 is dropped and you get effectively 24 bits of mantissa.  The number
  765. 1000.43 (and many, many others) is not exactly representable in float or
  766. double format.  1000.43 is actually represented as the following bitpattern
  767. (the 's' shows the position of the sign bit, the 'e's show the positions of
  768. the exponent bits, and the 'm's show the positions of the mantissa bits):
  769.  
  770.     seeeeeeeemmmmmmmmmmmmmmmmmmmmmmm 
  771.     01000100011110100001101110000101 
  772.  
  773. The shifted mantissa is 1111101000.01101110000101 or 1000 + 7045/16384.  The
  774. fractional part is 0.429992675781.  With 24 bits of mantissa you only get
  775. about 1 part in 16M of precision for float.  The 'double' type provides more
  776. precision (53 bits of mantissa).
  777.  
  778. ==============================================================================
  779. SUBSECTION 22B: Miscellaneous environmental issues:
  780. ==============================================================================
  781.  
  782. Q141: Is there a TeX or LaTeX macro that fixes the spacing on "C++"?
  783.  
  784. Yes, here are three (the first prevents line breaks between the "C" and "++"):
  785.  
  786. \def\CC{{C\nolinebreak[4]\hspace{-.05em}\raisebox{.4ex}{\tiny\bf ++}}}
  787.  
  788. \def\CC{C\raise.22ex\hbox{{\footnotesize +}}\raise.22ex\hbox{\footnotesize +}}
  789.  
  790. \def\CC{{C\hspace{-.05em}\raisebox{.4ex}{\tiny\bf ++}}}
  791.  
  792. ==============================================================================
  793.  
  794. Q142: Where can I access C++2LaTeX, a LaTeX pretty printer for C++ source?
  795.  
  796. ftp://ftp.german.eu.net/pub/packages/TeX/support/pretty/C++2LaTeX-3.02.tar.gz
  797.  
  798. ==============================================================================
  799.  
  800. Q143: Where can I access "tgrind," a pretty printer for C++/C/etc source?
  801.  
  802. "tgrind" reads a C++ source file, and spits out something that looks pretty on
  803. most Unix printers.  It usually comes with the public distribution of TeX and
  804. LaTeX; look in the directory: "...tex82/contrib/van/tgrind".  A more up-to-date
  805. version of tgrind by Jerry Leichter can be found on: venus.ycc.yale.edu in
  806. [.TGRIND].
  807.  
  808. ==============================================================================
  809.  
  810. Q144: Is there a C++-mode for GNU emacs?  If so, where can I get it?
  811.  
  812. Yes, there is a C++-mode for GNU emacs.
  813.  
  814. The latest and greatest version of C++-mode (and c-mode) is implemented in the
  815. file cc-mode.el.  It is an extension of Detlef & Clamen's version.
  816. A version is included with emacs.  Newer version are availiable from
  817. the elisp archives.
  818.  
  819. ==============================================================================
  820.  
  821. Q145: Where can I get OS-specific FAQs answered (e.g.,BC++,DOS,Windows,etc)?
  822.  
  823. See one of the following:
  824.  * comp.os.msdos.programmer
  825.  * comp.windows.ms.programmer
  826.  * comp.unix.programmer
  827.  
  828. [If anyone has an email address for a BC++, VC++, or Semantic C++ bug list
  829. and/or discussion mailing list, please let me know how to subscribe, and I'll
  830. mention it here].
  831.  
  832. ==============================================================================
  833.  
  834. Q146: Why does my DOS C++ program says "Sorry: floating point code not
  835.    linked"?
  836.  
  837. The compiler attempts to save space in the executable by not including the
  838. float-to-string format conversion routines unless they are necessary, but
  839. sometimes it guesses wrong, and gives you the above error message.  You can fix
  840. this by (1) using <iostream.h> instead of <stdio.h>, or (2) by including the
  841. following function somewhere in your compilation (but don't call it!):
  842.  
  843.     static void dummyfloat(float *x) { float y; dummyfloat(&y); }
  844.  
  845. See FAQ on stream I/O for more reasons to use <iostream.h> vs <stdio.h>.
  846.  
  847. ==============================================================================
  848.  
  849. Q147: Why does my BC++ Windows app crash when I'm not running the BC45 IDE?
  850.  
  851. If you're using BC++ for a Windows app, and it works ok as long as you have the
  852. BC45 IDE running, but when the BC45 IDE is shut down you get an exception
  853. during the creation of a window, then add the following line of code to the
  854. InitMainWindow() method of your application ("YourApp::InitMainWindow()"):
  855.  
  856.     EnableBWCC(TRUE);
  857.  
  858. ==============================================================================
  859.  
  860. --
  861. Paradigm Shift, Inc. / P.O. Box 5108 / Potsdam, NY  13676
  862. Technology consulting services
  863. cline@parashift.com / Voice: 315-353-6100 / FAX: 315-353-6110
  864.